
\begin{titlepage}

\begin{center}
 
 
% Upper part of the page
\includegraphics{images/univ_nantes.jpg}\\[2cm]
 
 
\textsc{\Large Rapport de Projet - Construction formelle}\\[0.5cm]
 
 
% Title
\HRule \\[0.4cm]
{ \huge \bfseries Mod\'elisation en B de protocoles de communications SOAP}\\[0.4cm]
 
\HRule \\[1.5cm]
 
% Author and supervisor
\begin{minipage}{0.4\textwidth}
\begin{center} \large
\emph{Auteurs:}\\
Frédéric \textsc{BOUVET}\\
Hervé  \textsc{ESTEGUET}\\
Laurent \textsc{MAILLET}\\
\end{center}
\end{minipage}
 
\vfill

{\large \today}
 
\end{center}
 
\end{titlepage}